Buy Used and New Klaus Havelund Books

SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings (Lecture Notes in Computer Science)

by Willem Visser,John Penix,Klaus Havelund

ISBN 13: 9783540410300

Format: Paperback (343 pages)
Publisher: Springer
Published: 21 Aug 2000

Save for later

Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings: 10951 (Lecture Notes in Computer Science)

by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink

ISBN 13: 9783319955810

Format: Paperback (708 pages)
Publisher: Springer
Published: 12 Jul 2018

Save for later